Nuprl Definition : w-TA 11,40
w.TA == (w.2).1 
latex

Definitionst.2, t.1
FDL editor aliasesw-TA

origin